Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 277 | 235 | 657 | 834 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.85 | 2.37 | 3.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.565 | 7.312 | 5.079 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 352 | 304 | 692 | 1102 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.86 | 1.97 | 3.13 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.165 | 7.495 | 5.192 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 430 | 377 | 762 | 1337 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.88 | 1.77 | 3.11 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.754 | 7.693 | 5.937 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 554 | 504 | 880 | 2113 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.91 | 1.59 | 3.81 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.060 | 7.295 | 170.862 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 477 | 422 | 840 | 1996 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.88 | 1.76 | 4.18 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.145 | 7.163 | 8.329 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 405 | 363 | 810 | 1846 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.90 | 2.00 | 4.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.414 | 7.030 | 7.260 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 408 | 366 | 815 | 1934 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.90 | 2.00 | 4.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.411 | 7.193 | 7.467 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 405 | 372 | 818 | 1966 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 2.02 | 4.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.472 | 7.440 | 8.283 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 493 | 457 | 857 | 2240 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.93 | 1.74 | 4.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.181 | 7.879 | 8.588 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 579 | 536 | 925 | 2466 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.93 | 1.60 | 4.26 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.969 | 7.884 | 9.454 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 544 | 546 | 3619 | 5583 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 6.65 | 10.26 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.837 | 22.965 | 29.997 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 455 | 453 | 478 | 3712 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.05 | 8.16 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.122 | 14.721 | 24.603 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 385 | 375 | 429 | 2889 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 1.11 | 7.50 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.612 | 14.109 | 12.471 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 454 | 416 | 398 | 1389 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 0.88 | 3.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.707 | 12.872 | 10.952 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 499 | 470 | 699 | 1862 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 1.40 | 3.73 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.164 | 16.312 | 8.238 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 515 | 474 | 1056 | 1871 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 2.05 | 3.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.273 | 18.246 | 10.121 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 613 | 578 | 1306 | 3341 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 2.13 | 5.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.834 | 16.134 | 9.883 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 698 | 671 | 1798 | 4819 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 2.58 | 6.90 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.589 | 14.235 | 15.381 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 542 | 541 | 594 | 5577 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.10 | 10.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.865 | 19.253 | 33.003 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 458 | 453 | 482 | 3983 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 1.05 | 8.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.161 | 15.605 | 25.003 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 525 | 485 | 825 | 3134 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 1.57 | 5.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.251 | 18.552 | 18.542 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 560 | 532 | 437 | 2842 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 0.78 | 5.08 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.787 | 17.165 | 13.092 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 569 | 535 | 1166 | 2970 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 2.05 | 5.22 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.786 | 19.316 | 12.766 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 613 | 577 | 1273 | 3676 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 2.08 | 6.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.897 | 18.733 | 13.188 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 698 | 662 | 1797 | 5084 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 2.57 | 7.28 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.663 | 14.614 | 16.218 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 627 | 627 | 3885 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 6.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.548 | 24.232 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 544 | 540 | 621 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 1.14 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.845 | 19.519 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 600 | 565 | 3967 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 6.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.888 | 23.436 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 666 | 641 | 6694 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 10.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.483 | 23.891 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 627 | 600 | 4240 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 6.76 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.494 | 24.866 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 669 | 639 | 1393 | 4802 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 2.08 | 7.18 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.587 | 20.962 | 16.198 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 695 | 664 | 571 | 5455 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 0.82 | 7.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.711 | 21.880 | 17.834 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 806 | 775 | 2045 | 6349 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 2.54 | 7.88 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.462 | 20.213 | 19.095 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 469 | 470 | 491 | 3715 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.05 | 7.92 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.142 | 16.273 | 30.923 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 394 | 387 | 380 | 2776 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 0.96 | 7.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.617 | 14.199 | 12.415 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 323 | 308 | 303 | 1324 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 0.94 | 4.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.175 | 10.725 | 12.638 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 403 | 365 | 620 | 812 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.91 | 1.54 | 2.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.339 | 16.063 | 9.430 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 453 | 418 | 338 | 946 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 0.75 | 2.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.700 | 9.240 | 8.936 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 515 | 478 | 1089 | 1800 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.93 | 2.11 | 3.50 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.224 | 13.737 | 9.572 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 534 | 528 | 3767 | 4610 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 7.05 | 8.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.531 | 22.991 | 22.275 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 432 | 433 | 472 | 3420 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.09 | 7.92 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.870 | 16.053 | 16.625 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 348 | 356 | 456 | 1808 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.02 | 1.31 | 5.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.382 | 15.867 | 9.694 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 481 | 461 | 1019 | 1576 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 2.12 | 3.28 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.878 | 16.732 | 9.358 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 563 | 553 | 1155 | 3290 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 2.05 | 5.84 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.547 | 15.698 | 7.987 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 664 | 641 | 1822 | 4160 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 2.74 | 6.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.321 | 14.880 | 12.111 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 589 | 581 | 3973 | 8733 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 6.75 | 14.83 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.685 | 24.096 | 20.781 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 489 | 488 | 596 | 6142 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 1.22 | 12.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.071 | 19.271 | 16.089 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 456 | 452 | 544 | 4811 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 1.19 | 10.55 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.838 | 17.087 | 11.636 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 618 | 602 | 1576 | 6937 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 2.55 | 11.22 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.760 | 16.769 | 11.470 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 710 | 695 | 1597 | 7959 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 2.25 | 11.21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.533 | 18.029 | 14.503 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 230 | 197 | 191 | 824 | 0 | 288 | 0 | 0 | 0 |
| N.S. |
1 | 0.86 | 0.83 | 3.58 | 0.00 | 1.25 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.999 | 3.808 | 338.151 | 0.000 | 0.112 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 192 | 167 | 149 | 715 | 0 | 260 | 0 | 0 | 0 |
| N.S. |
1 | 0.87 | 0.78 | 3.72 | 0.00 | 1.35 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.944 | 2.050 | 342.280 | 0.000 | 0.109 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 151 | 135 | 112 | 639 | 0 | 221 | 0 | 0 | 0 |
| N.S. |
1 | 0.89 | 0.74 | 4.23 | 0.00 | 1.46 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.834 | 4.486 | 335.988 | 0.000 | 0.112 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 147 | 131 | 109 | 389 | 0 | 184 | 0 | 0 | 0 |
| N.S. |
1 | 0.89 | 0.74 | 2.65 | 0.00 | 1.25 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.822 | 1.791 | 6.104 | 0.000 | 0.124 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 156 | 143 | 116 | 465 | 0 | 204 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 0.74 | 2.98 | 0.00 | 1.31 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.828 | 1.895 | 7.195 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 194 | 173 | 139 | 515 | 0 | 232 | 0 | 0 | 0 |
| N.S. |
1 | 0.89 | 0.72 | 2.65 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.949 | 1.968 | 8.501 | 0.000 | 0.114 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 230 | 201 | 165 | 565 | 0 | 256 | 0 | 0 | 0 |
| N.S. |
1 | 0.87 | 0.72 | 2.46 | 0.00 | 1.11 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.993 | 2.320 | 9.089 | 0.000 | 0.126 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 342 | 288 | 357 | 1169 | 0 | 400 | 0 | 0 | 0 |
| N.S. |
1 | 0.84 | 1.04 | 3.42 | 0.00 | 1.17 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.600 | 8.029 | 1463.601 | 0.000 | 0.135 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 288 | 258 | 221 | 920 | 0 | 357 | 0 | 0 | 0 |
| N.S. |
1 | 0.90 | 0.77 | 3.19 | 0.00 | 1.24 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.524 | 4.521 | 1470.128 | 0.000 | 0.123 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 240 | 225 | 193 | 973 | 0 | 319 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 0.80 | 4.05 | 0.00 | 1.33 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.363 | 11.275 | 2358.520 | 0.000 | 0.130 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 220 | 200 | 158 | 883 | 0 | 284 | 0 | 0 | 0 |
| N.S. |
1 | 0.91 | 0.72 | 4.01 | 0.00 | 1.29 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.320 | 3.318 | 2595.865 | 0.000 | 0.128 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 229 | 216 | 165 | 679 | 0 | 260 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 0.72 | 2.97 | 0.00 | 1.14 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.337 | 3.219 | 10.573 | 0.000 | 0.116 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 243 | 235 | 183 | 706 | 0 | 291 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 0.75 | 2.91 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.343 | 3.198 | 12.293 | 0.000 | 0.128 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 291 | 265 | 218 | 784 | 0 | 329 | 0 | 0 | 0 |
| N.S. |
1 | 0.91 | 0.75 | 2.69 | 0.00 | 1.13 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.509 | 4.419 | 13.750 | 0.000 | 0.137 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 345 | 294 | 259 | 863 | 0 | 369 | 0 | 0 | 0 |
| N.S. |
1 | 0.85 | 0.75 | 2.50 | 0.00 | 1.07 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.563 | 4.166 | 13.885 | 0.000 | 0.155 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 397 | 353 | 416 | 1265 | 0 | 467 | 0 | 0 | 0 |
| N.S. |
1 | 0.89 | 1.05 | 3.19 | 0.00 | 1.18 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.200 | 8.389 | 8355.964 | 0.000 | 0.145 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 334 | 324 | 255 | 1178 | 0 | 415 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 0.76 | 3.53 | 0.00 | 1.24 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.964 | 13.902 | 5828.361 | 0.000 | 0.149 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 313 | 296 | 276 | 1268 | 0 | 382 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 0.88 | 4.05 | 0.00 | 1.22 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.945 | 4.594 | 4856.131 | 0.000 | 0.180 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 311 | 296 | 224 | 1112 | 0 | 361 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 0.72 | 3.58 | 0.00 | 1.16 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.924 | 4.182 | 4705.942 | 0.000 | 0.142 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 319 | 311 | 233 | 1098 | 0 | 346 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 0.73 | 3.44 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.943 | 4.117 | 10.181 | 0.000 | 0.146 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 336 | 329 | 253 | 975 | 0 | 387 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 0.75 | 2.90 | 0.00 | 1.15 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.971 | 3.920 | 10.418 | 0.000 | 0.144 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 401 | 364 | 304 | 1082 | 0 | 440 | 0 | 0 | 0 |
| N.S. |
1 | 0.91 | 0.76 | 2.70 | 0.00 | 1.10 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.150 | 5.321 | 12.839 | 0.000 | 0.157 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 463 | 392 | 355 | 1188 | 0 | 489 | 0 | 0 | 0 |
| N.S. |
1 | 0.85 | 0.77 | 2.57 | 0.00 | 1.06 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.179 | 5.959 | 14.234 | 0.000 | 0.159 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F(-1) | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 515 | 466 | 563 | 0 | 0 | 588 | 0 | 0 | 0 |
| N.S. |
1 | 0.90 | 1.09 | 0.00 | 0.00 | 1.14 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.053 | 9.537 | 180.000 | 0.000 | 0.171 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F(-1) | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 441 | 432 | 459 | 0 | 0 | 525 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 1.04 | 0.00 | 0.00 | 1.19 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.751 | 17.705 | 180.000 | 0.000 | 0.182 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F(-1) | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 423 | 411 | 294 | 0 | 0 | 478 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 0.70 | 0.00 | 0.00 | 1.13 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.745 | 7.058 | 180.000 | 0.000 | 0.165 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F(-1) | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 426 | 407 | 307 | 0 | 0 | 455 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 0.72 | 0.00 | 0.00 | 1.07 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.715 | 7.223 | 180.000 | 0.000 | 0.147 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | F(-1) | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 413 | 401 | 316 | 0 | 0 | 447 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 0.77 | 0.00 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.684 | 6.019 | 180.000 | 0.000 | 0.172 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 419 | 412 | 327 | 1337 | 0 | 442 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 0.78 | 3.19 | 0.00 | 1.05 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.659 | 5.877 | 12.053 | 0.000 | 0.164 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 444 | 442 | 338 | 1273 | 0 | 498 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 0.76 | 2.87 | 0.00 | 1.12 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.643 | 6.560 | 13.309 | 0.000 | 0.168 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 517 | 476 | 400 | 1407 | 0 | 560 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 0.77 | 2.72 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.916 | 7.229 | 21.782 | 0.000 | 0.179 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 294 | 272 | 692 | 775 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.93 | 2.35 | 2.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.406 | 8.890 | 164.545 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 218 | 190 | 267 | 447 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.87 | 1.22 | 2.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.742 | 4.690 | 162.691 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 178 | 139 | 138 | 384 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.78 | 0.78 | 2.16 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.252 | 2.586 | 3.941 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 157 | 123 | 276 | 323 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.78 | 1.76 | 2.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.933 | 2.244 | 4.370 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 207 | 179 | 327 | 981 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.86 | 1.58 | 4.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.343 | 5.636 | 4.010 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 270 | 249 | 321 | 803 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 1.19 | 2.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.889 | 7.545 | 3.828 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 345 | 332 | 532 | 1097 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 1.54 | 3.18 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.488 | 5.628 | 4.595 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | A | F(-1) | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 452 | 393 | 785 | 1011 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.87 | 1.74 | 2.24 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.157 | 9.464 | 36.694 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 366 | 306 | 717 | 876 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.84 | 1.96 | 2.39 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.330 | 8.886 | 6.082 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 303 | 254 | 508 | 815 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.84 | 1.68 | 2.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.697 | 7.414 | 5.868 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 311 | 269 | 482 | 862 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.86 | 1.55 | 2.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.732 | 7.233 | 5.800 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 403 | 356 | 742 | 1129 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.88 | 1.84 | 2.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.382 | 7.940 | 6.399 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 505 | 452 | 831 | 1382 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.90 | 1.65 | 2.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.148 | 7.959 | 6.636 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 669 | 619 | 1013 | 2138 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.93 | 1.51 | 3.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.895 | 7.894 | 163.477 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 562 | 507 | 944 | 2000 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.90 | 1.68 | 3.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.844 | 7.626 | 10.188 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 473 | 431 | 903 | 1857 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.91 | 1.91 | 3.93 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.770 | 7.364 | 8.597 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 478 | 436 | 902 | 1950 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.91 | 1.89 | 4.08 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.833 | 7.518 | 7.449 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 483 | 450 | 915 | 2000 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.93 | 1.89 | 4.14 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.851 | 7.664 | 8.213 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 596 | 560 | 972 | 2267 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 1.63 | 3.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.721 | 7.921 | 9.796 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |